The Pandora system: An interactive system for the design of data communication protocols
نویسندگان
چکیده
منابع مشابه
The Pandora System: An Interactive System for the Design of Data Communication Protocols
Gerard J. Holzmann was born in Amsterdam, The Netherlands, in 1951. He received the B.S. (1973) and M.S. (1976) degree in electrical engineering, and the Ph.D. (1979) degree in technical sciences from the Delft University of Technology in The Netherlands. He obtained a Fulbright Fellowship in 1979. From September 1979 to June 1980 he was with the University of Southern California in Los Angeles...
متن کاملa study on construction of iranian life tables: the case study of modified brass logit system
چکیده ندارد.
15 صفحه اولsimulation and design of electronic processing circuit for restaurants e-procurement system
the poor orientation of the restaurants toward the information technology has yet many unsolved issues in regards to the customers. one of these problems which lead the appeal list of later, and have a negative impact on the prestige of the restaurant is the case when the later does not respond on time to the customers’ needs, and which causes their dissatisfaction. this issue is really sensiti...
15 صفحه اولinvestigating the feasibility of a proposed model for geometric design of deployable arch structures
deployable scissor type structures are composed of the so-called scissor-like elements (sles), which are connected to each other at an intermediate point through a pivotal connection and allow them to be folded into a compact bundle for storage or transport. several sles are connected to each other in order to form units with regular polygonal plan views. the sides and radii of the polygons are...
study of cohesive devices in the textbook of english for the students of apsychology by rastegarpour
this study investigates the cohesive devices used in the textbook of english for the students of psychology. the research questions and hypotheses in the present study are based on what frequency and distribution of grammatical and lexical cohesive devices are. then, to answer the questions all grammatical and lexical cohesive devices in reading comprehension passages from 6 units of 21units th...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computer Networks (1976)
سال: 1984
ISSN: 0376-5075
DOI: 10.1016/0376-5075(84)90036-9